1. An introduction to combinators and )Lambda(-calculus
پدیدآورنده: Hindley, J. Roger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56I5
2. Basic simple type theory
پدیدآورنده: Hindley,J.Roger
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، programing languages)electronic computers(,، type theory
رده :
QA
76
.
7
.
H55
1996
3. Combinatory logic. Volume II
پدیدآورنده: [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
4. Introduction to combinators and ]lambda[-calculus
پدیدآورنده: Hindley, J. Roger
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56
1986
5. Lambda-calculus and combinators : an introduction
پدیدآورنده: Hindley, J. Roger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H56L3
6. Lambda-calculus and combinators, an introduction
پدیدآورنده: Hindley, J. Roger.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H565
2008
7. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
پدیدآورنده: Philippe de Groote, J. Roger Hindley )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1210
